ru
en

Поиск по сайту

Информация

По вашему запросу найдено материалов: 1

Прокопьев С. Е. «О ВОЗМОЖНОСТИ ИСПОЛЬЗОВАНИЯ ВРЕМЕННЫХ ЛОГИК И ВЕРИФИКАТОРОВ МОДЕЛЕЙ В ЗАДАЧЕ ОБНАРУЖЕНИЯ ОПАСНЫХ ОТКЛОНЕНИЙ СИСТЕМЫ» // Прикладная дискретная математика 2010. №1(7) C.37-42